It can thus be demonstrated without using any other principle, but that of consistency . ( Barnes claims in passing that the term'consequentia mirabilis'refers only to the inference of the proposition from the inconsistency of its negation, and that the term'Lex Clavia'( or Clavius'Law ) refers to the inference of the proposition's negation from the inconsistency of the proposition .)
2.
"Consequentia mirabilis " was a pattern of argument popular in 17th century Europe that first appeared in a fragment of Aristotle's " Protrepticus : " " If we ought to philosophise, then we ought to philosophise; and if we ought not to philosophise, then we ought to philosophise ( i . e . in order to justify this view ); in any case, therefore, we ought to philosophise ."